In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Continue readingThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading